- 双语例句 更多例句
1、
给出了基于语义的几何公差分类方法及基于自由度变动的基本几何要素数学表示方法；
互联网摘选
2、
他在数理语言学 、 逻辑语义学 、 转换 - 生成语法、 非 转换 - 生成语法等研究领域颇有建树.
互联网摘选
3、
note, however, that presentation mathml still encodes aspects of the mathematical semantics.
但要注意，PresentationMathML仍然编码数学语义方面。
互联网摘选
4、
5、
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。
互联网摘选
6、
本文提出以合成逻辑（Combinatory logic）作为程序设计语言语义学的数学基础。
互联网摘选
- 相关词组
- mathematical instrument数学设备;
- generative semantics生成语义学
- formal semantics形式语义学[程序];
- tree semantics[计]树状语义学;
- denotational semantics标志语义，外延语义学;
- algebraic semantics代数语义学;
- mathematical theory数学理论
- trace semantics[计]轨迹语义学;
- interpretive semantics[计] 解释语义;
- mathematical tablesn.数学用表
- continuation semantics[计]继续语义学;
- mathematical ability数学能力;
- cartographic semantics地图语义;
- standard semantics[计]标准语义学;
- mathematical sentence数句
- mathematical power幂;乘方
- mathematical law of probability数学的或然律
- semantics implementation system[计] 语义学实现系统;
- final semantics最终语义；终结语义
- mathematical symbols数学符号
- 今日热词
- 热门搜索
- Nicolas n.尼古拉斯（男子名）;[人名]尼古拉斯·凯奇;[人名] [英格兰人、威尔士人姓氏] 尼古拉斯 Nicholas的变体;[地名] [海地] 尼古拉;
- Bibi abbr.byebye 再见;n.【女名】女子名
- dynamic adj.精力充沛的;活跃的;动力的;动态的;n.动力;相互作用;驱动力;力学;力度;
- Just Give Me A Reason 给我一个理由；给个理由；只要给我一个理由
- Belgium n.比利时;
- type n.类型，种类;一类（人或事物）;…类型的人;印刷文字;v.打字;定型;
- vaga 瓦加;哇嘎;沃歌;空泡毒素
- relation n.关系，联系;亲戚;
- heu kms activator 激活工具;微软万能激活器;微软产品激活工具
- nutrition n. 营养，滋养;营养品;营养学;食物;
- OC abbr.有机碳;Officer Commanding 指挥官; Original Character原创角色
- aws abbr.adjustable wire stripper 可调剥线钳;advanced warning system 高级警报系统;
湘公网安备43011202000971号